Analyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns
نویسندگان
چکیده
Debugging is a time consuming task in hardware design. Thus effective debugging techniques are required when developing complex reliable systems. In this paper a new debugging approach based on the analysis of dynamic dependency graphs is presented. Our approach combines reverse debugging, dynamic forward/backward slicing, as well as spectrum-based fault localization and adapts them for the use on hardware designs. In a case study on two different designs with multiple faults the proposed debugging methodology reduced the debugging time to 50% in comparison to conventional techniques.
منابع مشابه
Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung
Laufzeit Optimierung P r o g r a m m-A n a l y s e
متن کاملForensische Analyse komplexer Unix-Dateisysteme
Moderne Dateisysteme stellen effiziente Verfahren zur Verwaltung extrem großer Datenmengen bereit, die in komplexen, vernetzten Umgebungen anfallen. Der vorliegende Beitrag untersucht die Auswirkungen von Eigenschaften moderner UnixDateisysteme auf Techniken der forensischen Analyse und führt zu zwei Schlußfolgerungen: Höhere Volatilität dynamischer Verwaltungs-Datenstrukturen könne die forensi...
متن کاملExperimentelles und exploratives Lernen mit selbstentwickelten eLearning-Werkzeugen im Bereich der Telematik
Das Ziel des TeleMuM-Projektes ist es, Lerninhalte von zentraler Bedeutung für die Telematik zum besseren Verständnis des Lehrstoffes als elektronisches Lernmaterial multimedial zu gestalten und mit den interaktiven Nutzungsmöglichkeiten des eLearning auszustatten. Dazu werden Werkzeuge entwickelt, die es den Studierenden gestatten, experimentelle Untersuchungen durchzuführen. Das explorative u...
متن کاملTiefe Charakterisierung
Zusammenfassung Mehrstufige Beschreibungshierarchien kommen in zunehmendem Maße in den verschiedensten Gebieten zum Einsatz. Ob in der Definition von Modellierungssprachenstandards, der Prozeßmodellierung oder in der Beschreibung von (Domänen-)Referenzmodellen mit dynamischer Typebene, immer werden Beschreibungshierarchien mit mindestens drei Ebenen genutzt. Die Beziehung der Beschreibungsebene...
متن کاملExecution Synthesis: A Technique for Automating the Debugging of Software
German) Fehlerbeseitigung in Computersystemen ist schwierig, zeitraubend, und erfordert detaillierte Kenntnisse des Programmcodes dieser Systeme. Fehlerberichte enthalten selten genügend Informationen zur Beseitigung des Fehlers. Entwickler müssen in anstrengender Detektivarbeit herausfinden, wie das Programm zu der beschriebenen Fehlersituation gekommen ist. Diese Doktorarbeit beschreibt eine ...
متن کامل